Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics)
by Rijke, Egbert Egbert Rijke,
ISBN 13: 9781108844161
Format: hardcover Publisher: Cambridge University Press
Save for later